募捐 9月15日2024 – 10月1日2024 关于筹款
2
Decidable Theories I

Decidable Theories I

Dirk Siefkes, Gert H. Müller
年:
1970
语言:
english
文件:
DJVU, 1009 KB
0 / 0
english, 1970
3
The Collected Works of J. Richard Büchi

The Collected Works of J. Richard Büchi

Saunders Mac Lane, Dirk Siefkes (auth.), Saunders Mac Lane, Dirk Siefkes (eds.)
年:
1990
语言:
english
文件:
PDF, 28.25 MB
0 / 0
english, 1990
4
From Exchange to Contributions: Generalizing Peer Production into the Physical World

From Exchange to Contributions: Generalizing Peer Production into the Physical World

Christian Siefkes
年:
2007
语言:
english
文件:
PDF, 986 KB
0 / 0
english, 2007
5
Beitragen statt tauschen: Materielle Produktion nach dem Modell Freier Software

Beitragen statt tauschen: Materielle Produktion nach dem Modell Freier Software

Christian Siefkes
年:
2008
语言:
german
文件:
PDF, 1.03 MB
0 / 0
german, 2008
6
Decidable Theories I

Decidable Theories I

Siefkes D.
年:
1970
语言:
english
文件:
DJVU, 1.21 MB
0 / 0
english, 1970
7
Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Decidable Theories: Vol. 2: The Monadic Second Order Theory of All Countable Ordinals

Büchi J. R., Siefkes D.
年:
1973
语言:
english
文件:
DJVU, 1.32 MB
0 / 0
english, 1973
12
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Dirk Siefkes (auth.)
年:
1992
语言:
german
文件:
PDF, 7.50 MB
0 / 0
german, 1992
14
Decidable Theories II

Decidable Theories II

J.R. Büchi, D. Siefkes, D. Siefkes, G.H. Müller
年:
1973
语言:
english
文件:
DJVU, 1.24 MB
0 / 0
english, 1973
16
Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Formale Methoden und kleine Systeme: Lernen, leben und arbeiten in formalen Umgebungen

Dirk Siefkes (auth.)
年:
1992
语言:
german
文件:
PDF, 7.58 MB
0 / 0
german, 1992
18
Formalisieren und Beweisen: Logik für Informatiker

Formalisieren und Beweisen: Logik für Informatiker

Dirk Siefkes (auth.)
年:
1990
语言:
german
文件:
PDF, 37.19 MB
0 / 0
german, 1990
20
Büchi’s Monadic Second Order Successor Arithmetic

Büchi’s Monadic Second Order Successor Arithmetic

Dirk Siefkes (auth.)
年:
1970
语言:
german
文件:
PDF, 12.36 MB
0 / 0
german, 1970
22
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.)
年:
1975
语言:
german-english
文件:
PDF, 19.49 MB
0 / 0
german-english, 1975
23
Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

Gl-4.Jahrestagung: Berlin, 9.–12. Oktober 1974

J. Hartmanis, J. Simon (auth.), Prof. Dr. D. Siefkes (eds.)
年:
1975
语言:
german-english
文件:
DJVU, 7.09 MB
0 / 0
german-english, 1975